Analyzing the logical structure of data flow diagrams in software documents
نویسندگان
چکیده
Understanding soflware documents requires the logical structure analysis of diagrammatic notations, such as data flow diagrams. A data flow diagram (DFD) represents the functional dependencies within a system: it shows how output values in a computation are derived from input values. We show how the logical structure of a DFD can be described using the formalism of Calculus of Communicating Systems (CCS). We present the process of generating the logical structure, and show how the formalism is used for deep understanding of DFDs. Using the Edinburgh Concurrency Workbench (CWB), we can use the formal description of a DFD to reason about the equivalence of two DFDs, and to simulate the behavior of a DFD.
منابع مشابه
Designing a logical data model of athletes' hospital information management system based on international standards
Background and purpose: Today, hospital care, relying on the health record system, has received more attention than before. Considering the diversity of data in these systems, the design of standard conceptual and logical models by service providers will play an important role in their success. Therefore, this research was conducted with the aim of designing a logical data model of the hospital...
متن کاملAnalyzing the Collaboration Network of Global Scientific Outputs in the Field of Bibliotherapy in the Web of Science Database
Background and Aim: Bibliotherapy is a useful treatment for the prevention and treatment of mental disorders and has led to the formation of many scientific publications in this field. The purpose of this study was to investigate the publication trends in the field of bibliotherapy and visualize the structure of its scientific collaborations based on the Web of Science database during the perio...
متن کاملAn approach to recovering data flow oriented design of a software system
This paper describes an approach for recovering data flow oriented design of a software system from its source code. Data flow diagrams are used for analysis and design in software development in variations of Structured Analysis techniques. A tool that extracts designs based on these diagrams from the code will be useful in maintaining the consistency of design document with its code, migratin...
متن کاملA Novel Methodology for Test Scenario Generation Based on Control Flow Analysis of Uml 2.x Sequence Diagrams
Now a days UML is widely used for preparing design documents. It helps to specify, construct, visualize and document artifacts of software systems. This paper presents an approach to test the software in the early stage (design phase) of software development life cycle, so that it can help the software testers in the later stages. This paper focuses on generating test scenarios from UML 2.x Seq...
متن کاملHTML Document Analysis for Information Extraction
The today’s World Wide Web contains a vast amount of information stored in HTML documents. However, the HTML language primarily describes the look of the documents and it doesn’t contain facilities for the description of contained data structure. In this paper we propose a model of a Web site that describes logical structure of contained data. Furthermore, we propose methods for creating such a...
متن کامل